The section that follows lists the theorems in the \ml{pair} library.
